Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
81	Tutorial #7: LC Segmentation with Ratings-based Conjoint Data This tutorial shows how to use the Latent GOLD Choice program when the scale type of the dependent variable corresponds to a Rating as opposed to a Choice or Add to Reading List Source URL: www.statisticalinnovations.com Language: English - Date: 2012-06-19 13:26:21 Statistical methods Statistical models Actuarial science Statistics Econometrics Regression analysis
82	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
83	“Progress in Informatics” No.10 Call for Papers SPECIAL ISSUE: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs (http://research.nii.ac.jp/~hu/pi13/) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-01-12 02:04:25 National Institute of Informatics Programming paradigm Software engineering Generic programming Dependent type
84	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
85	The Utrecht Agda Compiler Submitted to TFP 2015 Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra Universiteit Utrecht, Netherlands http://www.uu.nl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Functional languages Type theory Procedural programming languages Agda Data types Functional programming Haskell Dependent type Generalized algebraic data type Software engineering Computing Computer programming
86	PDF Document Add to Reading List Source URL: www.detect-inc.com Language: English - Date: 2015-04-08 03:41:03 Carrier-based aircraft VTOL aircraft Military terminology Signals intelligence Unmanned aerial vehicle Radar Automatic dependent surveillance-broadcast Joint Electronics Type Designation System Harrier Jump Jet Security Aviation Safety
87	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
88	NLTS2 A2: Wave 1 Teacher Survey WARNING FEDERAL RESTRICTED-USE DATA UNAUTHORIZED ACCESS TO LICENSED INDIVIDUALLY IDENTIFIABLE Add to Reading List Source URL: www.nlts2.org Language: English - Date: 2014-09-04 15:12:58 Statistics Regression analysis Type theory Dependent and independent variables Assignment Field Mathematics Software engineering Variables
89	Tutorial #7: LC Segmentation with Ratings-based Conjoint Data This tutorial shows how to use the Latent GOLD Choice program when the scale type of the dependent variable corresponds to a Rating as opposed to a Choice or Add to Reading List Source URL: statisticalinnovations.com Language: English - Date: 2012-06-19 13:26:21 Statistical methods Statistical models Actuarial science Statistics Econometrics Regression analysis
90	Features • Support legacy analog video cabling up to 720m (coax type dependent) Add to Reading List Source URL: us.sourcesecurity.com Language: English - Date: 2012-08-17 02:46:12 Small form-factor pluggable transceiver IEEE 802.3 Fiber media converter Electrical connector ProCurve Products Avaya ERS OSI protocols Ethernet Network architecture

UPDATE